/* grchmain.c */void groucho(){  while (1) {    inside_corner();        /* position 1 to 2 */    drive_to_top();         /* 2 to 3 */    align_with_edge();      /* 3 to 4 */    follow_edge_to_wall();  /* 4 to 5 */    dump_ball_shuffle();    /* 5 to 6 to 7 */    drive_to_bottom();      /* 7 to 8 */    inside_corner();        /* 8 to 9 */  }}